Received: by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA09919; Wed, 14 Jun 95 08:55:54 PDT
Received: from terra.stack.urc.tue.nl by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.6)
id AA09912; Wed, 14 Jun 95 08:55:49 PDT
Received: from turtle.stack.urc.tue.nl (turtle.stack.urc.tue.nl [131.155.140.132]) by terra.stack.urc.tue.nl (8.6.11) with ESMTP id RAA03760 for <announce@cs.ucdavis.edu>; Wed, 14 Jun 1995 17:54:57 +0200
Received: (leon@localhost) by turtle.stack.urc.tue.nl (8.6.10/8.6.4) id RAA08020 for announce@cs.ucdavis.edu; Wed, 14 Jun 1995 17:55:31 +0200